Archimedean Unital Groups with Finite Unit Intervals
نویسنده
چکیده
Let G be a unital group with a finite unit interval E, let n be the number of atoms in E, and let κ be the number of extreme points of the state spaceΩ(G). We introduce canonical order-preserving group homomorphisms ξ : Zn → G and ρ : G → Zκ linking G with the simplicial groups Zn and Zκ . We show that ξ is a surjection and ρ is an injection if and only if G is torsion-free. We give an explicit construction of the universal group (unigroup) for E using the canonical surjection ξ. If G is torsion-free, then the canonical injection ρ is used to show that G is Archimedean if and only if its positive cone is determined by a finite number of homogeneous linear inequalities with integer coefficients.
منابع مشابه
Semisimplicial Unital Groups
If there is an order-preserving group isomorphism from a directed abelian group G with a finitely generated positive cone G+ onto a simplicial group, then G is called a semisimplicial group. By factoring out the torsion subgroup of a unital group having a finite unit interval, one obtains a semisimplicial unital group. We exhibit a representation for the base-normed space associated with a semi...
متن کاملMV-algebras: a variety for magnitudes with archimedean units
Chang’s MV-algebras are, on the one hand, the algebras of the infinite-valued Lukasiewicz calculus and, on the other hand, they are categorically equivalent to abelian lattice-ordered groups with a distinguished strong unit, for short, unital `-groups. The latter are a modern mathematization of the time-honored euclidean magnitudes with an archimedean unit. While for magnitudes the unit is no l...
متن کاملClassification of Finitely Generated Lattice-ordered Abelian Groups with Order-unit
A unital l-group (G,u) is an abelian group G equipped with a translation-invariant lattice-order and a distinguished element u, called orderunit, whose positive integer multiples eventually dominate each element of G. We classify finitely generated unital l-groups by sequences W = (W0,W1, . . .) of weighted abstract simplicial complexes, where Wt+1 is obtained from Wt either by the classical Al...
متن کاملClean Unital -groups
A ring with identity is said to be clean if every element can be written as a sum of a unit and an idempotent. The study of clean rings has been at the forefront of ring theory over the past decade. The theory of partially-ordered groups has a nice and long history and since there are several ways of relating a ring to a (unital) partially-ordered group it became apparent that there ought to be...
متن کاملA classification of hull operators in archimedean lattice-ordered groups with unit
The category, or class of algebras, in the title is denoted by $bf W$. A hull operator (ho) in $bf W$ is a reflection in the category consisting of $bf W$ objects with only essential embeddings as morphisms. The proper class of all of these is $bf hoW$. The bounded monocoreflection in $bf W$ is denoted $B$. We classify the ho's by their interaction with $B$ as follows. A ``word'' is a function ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002